perm filename VRP1.TO[P,JRA] blob sn#126188 filedate 1974-10-22 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Hum? the secretary must have sent the wrong stuff. I got
C00003 ENDMK
CāŠ—;
Hum? the secretary must have sent the wrong stuff. I got
"Every Prime has a Succinct Certificate".

I hope to have notes to you early next week. I'm teaching LISP
at UC Santa Cruz starting Mon and am genertating an update to 
last version this weekend. The notes include evaluation, implementations, 
compilers, and an EL1-like extension.